421. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
422. based representation and reasoning :-Graph
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Conceptual structures (Information theory) ; Congresses. ;
423. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
424. 13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing -- ICAFS-2018 /
پدیدآورنده : edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy logic, Congresses.,Fuzzy mathematics, Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Fuzzy logic.,Fuzzy mathematics.,Fuzzy systems.,Soft computing.
رده :
QA9
.
64
.
I28
2018